deriving cos(3x) using complex numbers